#include <stdio.h>
#include <time.h>

int main(void)
{
    int i = 10;

    while (i > 0)
    {
        printf("T minus %d and counting\n", i);
        i--;
    }
    printf("Time used=%.5f\n", (double)clock() / CLOCKS_PER_SEC);

    return 0;
}